<html><body><script src="devtools.js"></script></body></html>
